|
Research
Papers
Very large set axioms over constructive set theories joint with Hanul Jeon,
Bulletin of Symbolic Logic, 30(4), 455-535,
doi.org/10.1017/bsl.2024.8 (2024)
arxiv:2204.05831 (2022)
ZFC without Power Set II: Reflection strikes back joint with Victoria Gitman,
Fundamenta Mathematicae, 264, 149 - 178,
doi.org/10.4064/fm206-11-2023 (2024)
arxiv:2206.06220 (2022)
Realizability models for large cardinals joint with Laura Fontanella and Guillaume Geoffroy,
In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288,
pp. 28:1-28:18, doi.org/10.4230/LIPIcs.CSL.2024.28 (2024)
Constructing the Constructible Universe Constructively joint with Michael Rathjen. Annals of Pure and Applied Logic, 175(3),
doi.org/10.1016/j.apal.2023.103392 (2024)
arxiv:2206.08283 (2022)
Taking Reinhardt's Power Away The Journal of Symbol Logic, 87(4), 1643-1662,
doi:10.1017/jsl.2022.9 (2022)
arxiv:2009.01127 (2021)
Preprints
A Guide to Krivine Realizability for Set Theory,
arxiv:2307.13563 (2023)
Realizing the totally unordered structure of ordinals
joint with Laura Fontanella (2024)
Thesis
Ph.D. Thesis: Large Cardinal in Weakened Axiomatic Theories. Written under the supervision of Michael Rathjen and Andrew Brooke-Taylor
at the University of Leeds, 2021.
About Me    
Research    
Talks
|
|